Logical Foundations for Multi-agent Systems
نویسنده
چکیده
9 Computational Linguistics Implementing Natural Language Semantics with Functional Programming http://research.nii.ac.jp/~kanazawa/Courses/2011/Seminar/i ndex.html Makoto Kanazawa Associate Professor Master's or Ph.D. students 2 3–6 months This internship involves implementing in a functional programming language semantic rules for some fragments of English (and possibly other languages) that have recently been put forward by various researchers. Candidates should have rudimentary knowledge of natural language semantics, as found in, e.g., Heim and Kratzer's textbook. Previous experience with at least one programming language (not necessarily functional) is required. The goal is to contribute toward establishing a useful environment in which to develop and test linguistic theories. See also http://okmij.org/ftp/gengo/NASSLLI10/index.html for some examples. List of research topics for NII Intenational Internship Program 2013 2nd Call
منابع مشابه
On the Logical Foundations of Moral Agency
The aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in social philosophy and in social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All t...
متن کاملNormative positions in multi-agent systems
The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundation for normative systems for MAS, and its generality allows for great freedom when interpreting the theory. As a first step towards a typology of interpretations of the theory, the application of normative positions is studied in the context of a class of transition systems in which transitions ...
متن کاملFoundations of Flexible Multi-Agent Programming
In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, constraints and content/context sets. These two aspects provide sufficient expressive power to allow us to represent, simply and with ...
متن کاملA Framework for Modelling Multi-agent Systems
Modelling and reasoning about multi-agent systems has been one of the main problems for designers of distributed systems. In this paper we present a logical framework for representing and reasoning about these systems. The framework uses the idea of contexts as presented by Giunchiglia and his colleagues and the ideas regarding multi-agent systems as presented by Morley, George , and Rao. The n...
متن کاملOn the use of multi-agent systems for the monitoring of industrial systems
The objective of the current paper is to present an intelligent system for complex process monitoring, based on artificial intelligence technologies. This system aims to realize with success all the complex process monitoring tasks that are: detection, diagnosis, identification and reconfiguration. For this purpose, the development of a multi-agent system that combines multiple intelligences su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995